Перевод: со всех языков на русский

с русского на все языки

semantically consistent system

См. также в других словарях:

  • Language change — is the manner in which the phonetic, morphological, semantic, syntactic, and other features of a language are modified over time. All languages are continually changing. At any given moment the English language, for example, has a huge variety… …   Wikipedia

  • NIEM conformance — The National Information Exchange Model (NIEM) is the result of a collaborative effort by the United States Department of Justice and Department of Homeland Security to produce a set of common, well defined data elements to be used for data… …   Wikipedia

  • Open Concurrent Design Server — The Open Concurrent Design Server (OCDS) is an initiative of the European Space Agency, ESA. The OCDS provides the building blocks of a Concurrent, Collaborative and Distributed Engineering for the European Space Industry, using Open Standards… …   Wikipedia

  • UML tool — A UML tool or UML modeling tool is a software application that supports some or all of the notation and semantics associated with the Unified Modeling Language (UML), which is the industry standard general purpose modeling language for software… …   Wikipedia

  • National Information Exchange Model — The National Information Exchange Model (NIEM) is an XML based information exchange framework from the United States. NIEM represents a collaborative partnership of agencies and organizations across all levels of government (federal, state,… …   Wikipedia

  • HEBREW GRAMMAR — The following entry is divided into two sections: an Introduction for the non specialist and (II) a detailed survey. [i] HEBREW GRAMMAR: AN INTRODUCTION There are four main phases in the history of the Hebrew language: the biblical or classical,… …   Encyclopedia of Judaism

  • Completeness — In general, an object is complete if nothing needs to be added to it. This notion is made more specific in various fields. Contents 1 Logical completeness 2 Mathematical completeness 3 Computing 4 …   Wikipedia

  • Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… …   Wikipedia

  • Complete theory — In mathematical logic, a theory is complete if it is a maximal consistent set of sentences, i.e., if it is consistent, and none of its proper extensions is consistent. For theories in logics which contain classical propositional logic, this is… …   Wikipedia

  • Biblical Hebrew — Biblical Hebrew, Classical Hebrew שְֹפַת כְּנַעַן, יְהוּדִית, (לְשוֹן) עִבְרִית …   Wikipedia

  • Romance languages — romance1 (def. 8). [1770 80] * * * Group of related languages derived from Latin, with nearly 920 million native speakers. The major Romance languages French, Spanish, Portuguese, Italian, and Romanian are national languages. French is probably… …   Universalium

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»